mathematical logic

n : any logical system that abstracts the form of statements

away from their content in order to establish abstract

criteria of consistency and validity [syn: {symbolic

logic}, {formal logic}]